Mutation Testing of Quantum Programs: A Case Study With Qiskit

As quantum computing is still in its infancy, there an inherent lack of knowledge and technology to test a program properly. In the classical realm, mutation testing has been successfully used evaluate how well program's suite detects seeded faults (i.e., mutants). this paper, building on definition syntactically equivalent operations, we propose novel set operators generate mutants based qubit measurements gates. To ease adoption testing, further QMUTPY, extension well-known fully automated open-source tool MUTPY. QMUTPY's performance, conducted case study 24 real programs written IBM's QISKIT library. Furthermore, show better coverage improvements assertions can increase suites' score quality. QMUTPY proven be effective tool, providing insight into current state tests improve them.